Lois K Miller

J . Virol . Song Yang and Lois K . Miller Factor 1 Promoters by Interaction with Very Late Activation of Baculovirus Very Late

The LOIS Project

The legal knowledge base resulting from the LOIS (Lexical Ontologies for legal Information Sharing) project consists of legal WordNets in six languages (Italian, Dutch, Portuguese, German, Czech, English). Its architecture is based on the EuroWordNet (EWN) framework (Vossen et al, 1997). Using the EWN framework assures compatibility of the LOIS WordNets with EWN, allowing them to function as an...

Gall and Lois

The nuclear changes accompanying spermatid elongation have been studied in two species of grasshopper, Dissosteira carolina and Mdanoplus femur-rubrum. Testes were fixed in 1 per cent buffered OsO4, imbedded in butyl methacrylate, and examined as thin sections in the electron microscope. In both species nuclear changes during spermatid development involve (1) an early period, during which the n...

LOIS: an Application of SMT Solvers

We present an implemented programming language called LOIS, which allows iterating through certain infinite sets, in finite time. We argue that this language offers a new application of SMT solvers to verification of infinite-state systems, by showing that many known algorithms can easily be implemented using LOIS, which in turn invokes SMT solvers for various theories. In many applications, ω-...

Dearraindrop - Miller

Dearraindrop is a five-member art collective based out of Virginia Beach, VA. The aim of our work is to create environments that submerge the participant in a sea of interrelated sound and visual elements. New York. We often perform at our shows with acoustic and electronic musical instruments we have created, reinforcing the link between the visual and auditory worlds. The installation include...